Monotone Majorizable Functionals
نویسنده
چکیده
Several properties of monotone functionals (MF) and monotone majorizable functionals (MMF) used in the earlier work by the author and van de Pol are proved. It turns out that the terms of the simply typed lambda-calculus deene MF, but adding primitive recursion, and even monotonic primitive recursion changes the situation: already Z:Z(1 ? sg) is not MMF. It is proved that extensionality is not Dialectica-realizable by MMF, and a simple example of a MF which is not hereditarily majorizable is given.
منابع مشابه
A note on the monotone functional interpretation
We prove a result relating the author’s monotone functional interpretation to the bounded functional interpretation due to Ferreira and Oliva. More precisely we show that (over model of majorizable functionals) largely a solution for the bounded interpretation also is a solution for monotone functional interpretation although the latter uses the existence of an underlying precise witness. This ...
متن کاملGENERALIZED POSITIVE DEFINITE FUNCTIONS AND COMPLETELY MONOTONE FUNCTIONS ON FOUNDATION SEMIGROUPS
A general notion of completely monotone functionals on an ordered Banach algebra B into a proper H*-algebra A with an integral representation for such functionals is given. As an application of this result we have obtained a characterization for the generalized completely continuous monotone functions on weighted foundation semigroups. A generalized version of Bochner’s theorem on foundation se...
متن کاملModified bar recursion
We introduce a variant of Spector’s bar recursion (called “modified bar recursion”) in finite types to give a realizability interpretation of the classical axiom of countable choice allowing for the extraction of witnesses from proofs of Σ1 formulas in classical analysis. As a second application of modified bar recursion we present a bar recursive definition of the fan functional. Moreover, we ...
متن کاملn-Monotone exact functionals
We study n-monotone functionals, which constitute a generalisation of n-monotone set functions. We investigate their relation to the concepts of exactness and natural extension, which generalise coherence and natural extension in the behavioural theory of imprecise probabilities. We improve upon a number of results in the literature, and prove among other things a representation result for exac...
متن کاملOptimal risk sharing with non-monotone monetary functionals
We consider the problem of sharing pooled risks among n economic agents endowed with non-necessarily monotone monetary functionals. In this framework, results of characterization and existence of optimal solutions are easily obtained as extension from the convex risk measures setting. Moreover, the introduction of the best monotone approximation of non-monotone functionals allows us to compare ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Studia Logica
دوره 62 شماره
صفحات -
تاریخ انتشار 1999